科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:用于推断与安全性相关的程序属性的实用静态分析
Yin Liu; Ana Milanova;
机译:用于C的类型推断:应用于不完整程序的静态分析
机译:概率程序的静态分析:从有限多个路径推断整个程序属性
机译:一种实用算法,用于学习静态程序分析中的析取抽象启发式算法
机译:有关安全相关程序属性的推理实用静态分析
机译:实用的静态分析框架,用于推断与安全性相关的程序属性。
机译:当前视频速率OCT弹性成像的实际挑战:动态和静态组织特性的说明
机译:静态平均情况分析的实用编程:MOQA调查
机译:用类型推理理解实际程序
机译:静态延迟分析处理方法,静态延迟分析处理程序记录介质和静态延迟分析处理程序
机译:结构分析方法,结构分析装置,结构分析程序,用于结构分析的物理性质计算方法,用于结构分析的物理性质计算装置以及用于结构分析的物理性质计算程序
机译:在基于块的统计静态时序分析中进行实际最差测试定义和调试的方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。